Duality and i/o-Types in the π-Calculus
نویسندگان
چکیده
We study duality between input and output in the π-calculus. In dualisable versions of π, including πI and fusions, duality breaks with the addition of ordinary input/output types. We introduce π, intuitively the minimal symmetrical conservative extension of π with input/output types. We prove some duality properties for π and we study embeddings between π and π in both directions. As an example of application of the dualities, we exploit the dualities of π and its theory to relate two encodings of call-by-name λ-calculus, by Milner and by van Bakel and Vigliotti, syntactically quite different from each other.
منابع مشابه
یک پلیمر کوئوردیناسیونی از منگنز(III) با پیریدین-3،2-دی کربوکسیلیک اسید و 4، 4-بیپیریدین
The polymeric compound, {(C10H9N2)[Mn(C7H3NO4)2].(C10H8N2).6H2O}n, was prepared by the reaction of manganese (II) nitrate with pyridine-2,3-dicarboxylic acid, (py-2,3-dcH2) and 4,4'-bipyridine (4,4'-bipy) in a 1:2:4 molar ratio. The crystal system of the complex is monoclinic with space group P21/n and four molecules per unit cell. The unit cell parameters are: a = 22.2099(15) Å, b = 6.6599(4)...
متن کاملSymmetries and Dualities in Name-Passing Process Calculi
We study symmetries and duality between input and output in the π-calculus. We show that in dualisable versions of π, including πI and fusions, duality breaks with the addition of ordinary input/output types. We illustrate two proposals of calculi that overcome these problems. One approach is based on a modification of fusion calculi in which the name equivalences produced by fusions are replac...
متن کاملExponential membership function and duality gaps for I-fuzzy linear programming problems
Fuzziness is ever presented in real life decision making problems. In this paper, we adapt the pessimistic approach tostudy a pair of linear primal-dual problem under intuitionistic fuzzy (I-fuzzy) environment and prove certain dualityresults. We generate the duality results using exponential membership and non-membership functions to represent thedecision maker’s satisfaction and dissatisfacti...
متن کاملX-Ray, Crystal Structure and Solution Phase Studies of a Polymeric SrII Compound
In the crystal structure of the title polymeric compound, [C42H38N6O33Sr5.2(H2O)]n, five independent metal atoms (Sr1-Sr5) have different coordination environments. The Sr1 and Sr5 atoms are nine coordinated and feature distorted tricapped trigonal-prismatic and capped square-antiprismatic geometries, respectively....
متن کاملTermination in a π-calculus with subtyping
We present a type system to guarantee termination of π-calculus processes that exploits input/output capabilities and subtyping, as originally introduced by Pierce and Sangiorgi, in order to analyse the usage of channels. Our type system is based on Deng and Sangiorgi’s level-based analysis of processes. We show that the addition of i/o-types makes it possible to typecheck processes where a for...
متن کامل